Niklas Een: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Temporal Induction by Incremental SAT Solving

Niklas Eén, Niklas Sörensson

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2003

Language:

english

File:

PDF, 411 KB

english, 2003

2

SAT-Solving in Practice, with a Tutorial Example from Supervisory Control

Koen Claessen, Niklas Een, Mary Sheeran, Niklas Sörensson, Alexey Voronov, Knut Åkesson

Journal:

Discrete Event Dynamic Systems

Year:

2009

Language:

english

File:

PDF, 529 KB

english, 2009

3

[IEEE Conference Publications Design Automation and Test in Europe - Grenoble, France (2013.03.18-2013.03.22)] Design, Automation & Test in Europe Conference & Exhibition (DATE), 2013 - GLA: Gate-Level Abstraction Revisited

Mishchenko, Alan, Een, Niklas, Brayton, Robert, Baumgartner, Jason, Mony, Hari, Nalla, Pradeep

Year:

2013

Language:

english

File:

PDF, 206 KB

english, 2013

4

[IEEE 2006 IEEE/ACM International Conference on Computer Aided Design - Double Tree Hotel, San Jose, CA,USA (2006.11.5-2006.11.9)] 2006 IEEE/ACM International Conference on Computer Aided Design - Improvements to Combinational Equivalence Checking

Mishchenko, Alan, Chatterjee, Satrajit, Brayton, Robert, Een, Niklas

Year:

2006

Language:

english

File:

PDF, 10.22 MB

english, 2006

5

[IEEE Conference Publications Design Automation and Test in Europe - Grenoble, France (2013.03.18-2013.03.22)] Design, Automation & Test in Europe Conference & Exhibition (DATE), 2013 - A Semi-Canonical Form for Sequential AIGs

Mishchenko, Alan, Een, Niklas, Brayton, Robert, Case, Michael, Chauhan, Pankaj, Sharma, Nikhil

Year:

2013

Language:

english

File:

PDF, 225 KB

english, 2013

6

[IEEE 2008 9th International Workshop on Discrete Event Systems - Goteborg, Sweden (2008.05.28-2008.05.30)] 2008 9th International Workshop on Discrete Event Systems - SAT-solving in practice

Claessen, Koen, Een, Niklas, Sheeran, Mary, Sorensson, Niklas

Year:

2008

Language:

english

File:

PDF, 169 KB

english, 2008

7

[ACM Press the 2006 IEEE/ACM international conference - San Jose, California (2006.11.05-2006.11.09)] Proceedings of the 2006 IEEE/ACM international conference on Computer-aided design - ICCAD '06 - Improvements to combinational equivalence checking

Mishchenko, Alan, Chatterjee, Satrajit, Brayton, Robert, Een, Niklas

Year:

2006

Language:

english

File:

PDF, 279 KB

english, 2006

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@z-lib.do

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски